Bertolt Brecht en de moeizame weg naar een herwaardering in veelzijdigheid [n.a.v. C. Martin en H. Bial (eds.), "Brecht Sourcebook"]
نویسندگان
چکیده
منابع مشابه
expression de la cause en français et en persant
عناصر بیان دلیل در دو زبان فرانسه و فارسی چکیده تحقیق حاضر به بررسی عناصر بیان دلیل در دو زبان فرانسه و فارسی به عنوان یکی از عوامل موثر در کاربرد یک زبان خارجی می پردازد. شناخت کافی و دقیق از این عناصر می تواند جهت بالا بردن مهارت زبان آموزان در استدلال به زبان خارجی نقش شایانی داشته باشد. مطالعه و مقایسه عناصر بیان دلیل در دو زبان فرانسه و فارسی بیانگر این مطلب است که هر یک از این عناصر...
15 صفحه اولRéécriture de programmes C--en équations logiques
RÉSUMÉ. Cet article présente un système pour transformer, de façon automatique, des programmes écrits en C--, un langage impératif simple, en un ensemble d’équations du premier ordre. Cet ensemble d’équations utilisé pour représenter un programme C-a une signification mathématique précise et les techniques standards de mécanisation du raisonnement équationnel peuvent être déployées pour vérifie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Documenta
سال: 2019
ISSN: 0771-8640
DOI: 10.21825/doc.v19i2.11364